int red();